PET

Benchmark
Model:egl v.1 (DTMC)
Parameter(s)N = 10, L = 8
Property:unfairA (prob-reach)
Invocation (default)
./pet.sh reachability --precision 0.05 --relative-error --only-result -m egl.prism -p egl.props --property unfairA --const N=10,L=8
Execution
Walltime:435.4080250263214s
Return code:1
STDERR
Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
	at java.base/java.util.Arrays.copyOf(Arrays.java:3689)
	at java.base/java.util.ArrayList.grow(ArrayList.java:237)
	at java.base/java.util.ArrayList.grow(ArrayList.java:242)
	at java.base/java.util.ArrayList.add(ArrayList.java:485)
	at java.base/java.util.ArrayList.add(ArrayList.java:498)
	at simulator.ChoiceListFlexi.add(ChoiceListFlexi.java:101)
	at simulator.Updater.processUpdatesAndCreateNewChoice(Updater.java:376)
	at simulator.Updater.calculateTransitions(Updater.java:201)
	at simulator.ModulesFileModelGenerator.getTransitionList(ModulesFileModelGenerator.java:418)
	at simulator.ModulesFileModelGenerator.getNumChoices(ModulesFileModelGenerator.java:271)
	at de.tum.in.probmodels.generator.DtmcGenerator.getChoices(DtmcGenerator.java:21)
	at de.tum.in.probmodels.generator.PrismGenerator.choices(PrismGenerator.java:37)
	at de.tum.in.probmodels.generator.PrismGenerator.choices(PrismGenerator.java:14)
	at de.tum.in.probmodels.explorer.DefaultExplorer.exploreState(DefaultExplorer.java:56)
	at de.tum.in.pet.sampler.UnboundedSampler.explore(UnboundedSampler.java:252)
	at de.tum.in.pet.sampler.UnboundedSampler.sample(UnboundedSampler.java:188)
	at de.tum.in.pet.sampler.UnboundedSampler.run(UnboundedSampler.java:112)
	at de.tum.in.pet.implementation.reachability.ReachChecker.solve(ReachChecker.java:165)
	at de.tum.in.pet.implementation.reachability.ReachChecker.solve(ReachChecker.java:222)
	at de.tum.in.pet.implementation.reachability.ReachChecker.solveDtmc(ReachChecker.java:266)
	at de.tum.in.pet.implementation.reachability.ReachChecker.solve(ReachChecker.java:142)
	at de.tum.in.pet.implementation.reachability.ReachChecker.main(ReachChecker.java:356)
	at de.tum.in.pet.Main.main(Main.java:51)